#ifndef __DRV_TIME_H__
#define __DRV_TIME_H__

#include "Common.h"

void my_IncTick(void);
uint64_t my_GetTick(void);
void my_setTick(uint64_t tick);
uint64_t get_timestamp(void);


#endif


